Obsérvese que una vez que se prueba el siguiente reclamo, Axioma II se desprende del Corolario 10.5.2. Un subconjunto del plano h es una línea h si y solo si forma una línea para la distancia h en el ...Obsérvese que una vez que se prueba el siguiente reclamo, Axioma II se desprende del Corolario 10.5.2. Un subconjunto del plano h es una línea h si y solo si forma una línea para la distancia h en el sentido de la Definición 1.5.1. En este caso,ℓ es una intersección de un diámetro del plano absoluto y el plano h. Además, siX,Y∈ℓ y los puntosA,XY,, yB aparecen[AB] en el mismo orden, entonces Demostramos que cualquier línea h es una línea para h-distancia.
