Siendo formula_19, y al establecer formula_22 y formula_23, la longitud propia en S' está dada por