Sus teoremas sobre cuadriláteros, incluyendo el cuadrilátero de Lambert, fueron los primeros teoremas en la geometría elíptica y en la geometría hiperbólica.