Teorema 6
La congruencia de un segmento es transitiva.