Y formula_25 es una matriz semi-definida positiva, es decir