Como todo segmento formula_39 contiene a un segmento con la forma anterior, si se cumple que