Parts of formal proof of theorem?
When a postulate has been proven it becomes a theorem.
a theorem that follows directly from another theorem or postulate, with little of no proof
theorem
Theorem 3.9. If two lines are perpendicular, then they intersect to form 4 right angles. You would do a proof by using your hands.
Parts of formal proof of theorem?
Theory_of_BPT_theorem
No. A corollary goes a little bit further than a theorem and, while most of the proof is based on the theorem, the extra bit needs additional proof.
When a postulate has been proven it becomes a theorem.
a theorem that follows directly from another theorem or postulate, with little of no proof
Theorems is what is proven with the geometric proof.
theorem
theorem always needs proof
o.o
Theorem 3.9. If two lines are perpendicular, then they intersect to form 4 right angles. You would do a proof by using your hands.
A visual proof of the Pythagorean theorem, claimed to have been devised by the great genius of the Renaissance, Leonardo da Vinci.
There is no single statement that describes a geometric proof.