Es decir, si existe un cuerpo formula_26 tal que formula_27, entonces formula_28.