In the list of theorems in this website, the number of the theorem is a link to the proved theorem in the Analytic Foundations of Geometry. The simplest way to get back is to use the "Back" button in your navigator.