1. bu sifarişi verən: lucifermorningstar
evklid həndəsəsinə aid teoremdir, müstəvi üzərində olan düz xətt, mailin bu müstəvi üzərindəki proyeksiyasına perpendikulyardırsa,bu mailin özüdə perpendikulyardır,həmçinin nəsrəddin tusi əsərindədə bu teoremin isbatı haqqında məlumatlar verilmişdir.