También sabemos que formula_52 y