Ya conocemos uno parecido a formula_56 (pero distinto):