Build from here
Prove and use the Vertical Angles Theorem
Prove angle relationships formed by parallel lines