G.RLT.2.a.iii: alternate exterior angles;