Por tanto, en esta simetría, el segmento formula_12 se transforma en el segmento formula_13, ambos segmentos son congruentes y el punto formula_6 equidista de los puntos formula_2 y formula_3.