Dehn plane Archimedean axiom Archimedean property Euclidean geometry Max Dehn Pythagorean closure Pythagorean field Saccheri–Legendre theorem