Teorema 4 La congruencia de un segmento es reflexivo.