Es un teorema puramente de incidencia —no hace referencia a medidas—, pero se demuestra usando los axiomas de congruencia de segmentos.