theorem
A claim, provable from definitions and earlier results, true for every object satisfying some condition.
A theorem asserts something is true for every object satisfying a stated condition, established by a proof.
See also
Point table
Graph settings
Calculator