Es evidente que dado cualquier formula_38 se tiene que formula_39.