Por otra parte, cualquier cuerpo que contenga a formula_16 y formula_22 debe contener cada una de esas expresiones.