Condizione di parallelismo e angoli formati da rette tagiate da una trasversale.
V postulato di Euclide