Los teoremes de Ibn al-Haytham, Khayyam y al-Tusi sobre cuadriláteros, incluyendo el cuadriláteru de Lambert y el cuadriláteru de Saccheri, fueron los primeros teoremas de les xeometríes hiperbólica y elíptica.