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.
Vytvořeno nástrojem Hyperbolic Kit for Poincare Disc.