Евклидтың Башының инеш һүҙҙәренә аңлатмалар китабында Ибн әл-Хайсам Евклидтың бишенсе постулатын иҫбатларға тырыша. Уның иҫбатлауы хата була, сөнки ул иҫбатлау бишенсе постулатҡа тап килә. Ибн әл-Хайсам беренселәрҙән булып «Ламберт дүртмөйөшөн» тикшерә (был дүртмөйөштә өс тура мөйөш була). Ибн әл-Хайсам был йәһәттән өс вариант тәҡдим итә: ҡыҫынҡы, тура, йәйенке мөйөштәр. Бишенсе постулаттың һуңғы тикшеренеүҙәрендә күп тапҡырҙар ошо өс гипотезаны тикшереү бара.