Es fácil verificar que formula_39.