Euclid's Elements
ギリシャの哲学者プロクロス (410-485) は、ユークリッド原論に関する解説書を著し、4公準から第5公準を導こうとした試みについて解説を行い、特にクラウディオス・プトレマイオスが間違った証明を行なっていることに言及している。その上で、プロクロスは続けて自らも間違った証明を与えている。しかし、第5公準と同値の命題を発見している。