Luego, por el lema de conjugación, formula_247.