formula_12, entonces formula_13 es también definida positiva.