Nella dimostrazione per assurdo neghiamo la tesi, se riusciamo a negare anche l'ipotesi il teorema e' vero

Supponiamo che le rette non siano parallele e mostriamo che allora gli angoli sono diversi; vorra' dire che quando gli angoli sono uguali le rette debbono essere parallele, non vi sono altre alternative (tertium non datur)
Si vedono i miei studi classici?