Corollary

Corollary ( the, majority corollaries; corollary of latin, adding ',' gift ') referred to in mathematics and logic, a statement that results from an already theorem, the proof of an already proved theorem or a definition with no great proof effort. Often it is a simple conclusion, but the distinction between sentence and corollary is just as subjective as that between lemma and theorem.

Example

From the set

The corollary follows

As the hypotenuse is the side which is the right angle with respect to the sum of two adjacent to the hypotenuse angle 180 ° -90 ° = 90 °.