Perpendicular lines form four right angles (Theorem 7)
a) Alternate Interior Angle Theorem
b) Corresponding Angles Theorem
c) Vertical Angles Theorem
d) Perpendicular Lines Theorem