Angle Bisector Theorem
| Statements | Reasons |
| Line D is bisector | Given |
| Line AE is congruent with line AE | Reflexive property |
| Angle GAE is congruent with angle EAF | Corresponding Angles |
| Angle EFA and EGA are congruent | both right angles |
| Triangle GEA and EFA are congruent | SAA |
| Line Ef and GE are congruent | CPCTC |