Rashed examines ibn al-Haytham's attempt to prove it in Analysis and synthesis which, as Rashed points out, is not entirely successful:
Rashed ang Ibn al-Haytham's pagtatangka upang patunayan ito sa Pagtatasa at pagbubuo na kung saan, bilang Rashed points out, ay hindi ganap na matagumpay: