Alhazen explored what is now known as the Euclidean parallel postulate, the fifth postulate in Euclid's Elements, using a proof by contradiction, and in effect introducing the concept of motion into geometry. He formulated the Lambert quadrilateral, which Boris Abramovich Rozenfeld names the "Ibn al-Haytham–Lambert quadrilateral". He was criticised by Omar Khayyam who pointed that Aristotle had condemned the use of motion in geometry.