Ibn al-Haytham's ground theory of distance perception. (September 2022)