Teorema 4
La congruencia de un segmento es reflexivo.