De ello resulta que formula_52 y formula_53.