Saccheriho čtyřúhelník

Poincarého model hyperbolické geometrie. V neeukleidovské rovině neexistuje čtyřúhelník se čtyřmi pravými úhly. Pátý eukleidovský postulát (o rovnoběžnosti) je ekvivalentní s větou: Existuje alespoň jeden čtverec.