This problem was known (in a different guise) to Khayyam, Saccheri and Lambert and was the basis for their rejecting what was known as the "obtuse angle case".
Το πρόβλημα αυτό ήταν γνωστό (με διαφορετικό προσωπείο) στους Khayyam, Saccheri and Lambert και αποτέλεσε τη βάση για να απορρίψουν ότι ήταν γνωστό ως η "υπόθεση της αμβλείας γωνιάς".