De nuevo el producto de un elemento por su conjugado será un número real no negativo: