Si formula_22 es invariante bajo la transformación, entonces formula_23 donde