Había comprobado su resultado con la similar fórmula de Hutton: