Tenga en cuenta que la primera parte de Axioma III sigue directamente de la definición de la medida del ángulo h definida en la página. En este caso, para cualquier punto hP≠O, la media línea ...Tenga en cuenta que la primera parte de Axioma III sigue directamente de la definición de la medida del ángulo h definida en la página. En este caso, para cualquier punto hP≠O, la media línea h[OP)h es la intersección de la media línea euclidiana[OP) con el plano h. Dado que∡hP′OR′=∡P′OR′ y los mapas(Q,P)↦P′,(Q,R)↦R′ son continuos, la reivindicación se desprende del axioma correspondiente del plano euclidiano.
