{{ tocSubheader }}
| | {{ 'ml-lesson-number-slides' | message : article.intro.bblockCount }} |
| | {{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount }} |
| | {{ 'ml-lesson-time-estimation' | message }} |
Based on the diagram, the following relation holds true.
If ∠A≅∠D and ∠C≅∠F, then ∠B≅∠E.
With this, ∠B≅∠E by the definition of congruence. The above proof is organized in a two-column proof table below.
| Statements | Reasons |
| ∠A≅∠D and ∠C≅∠F | Given |
| m∠A=m∠D and m∠C=m∠F | Definition of congruence |
| m∠A+m∠B+ m∠C =180∘ and m∠D+m∠E+ m∠F =180∘ | Triangle Angle Sum Theorem |
| m∠A+m∠B+ m∠C =180∘ and m∠A+m∠E+ m∠C =180∘ | Substitution |
| m∠B−m∠E=0 | Subtracting both equations |
| m∠B=m∠E | Addition Property of Equality |
| ∠B≅∠E | Definition of congruence |