Por lo tanto formula_511 y formula_512 son