G.RLT.2.a.ii: alternate interior angles;