Respuesta :

5 is Alternate Interior Angles Theorem, 9 is Substitution Property