Dimostra (nel piano euclideo) che (1) due rette parallele formano con qualunque altra retta ad esse non parallela angoli alterni interni uguali e che, viceversa, (2) due rette per le quali esista una retta che le attraversi formando angoli alterni interni uguali sono parallele.