Merk at indreproduktet av en vektor med seg selv alltid er reell, slik at bruken av ulikheten i positivitetsegenskapen gir mening.