G.RLT.2.a: Prove and justify angle pair relationships formed by two parallel lines and a transversal, including: