Proof. For
we have
Therefore it satisfies additivity in the first slot. For ,
we have
Hence homogeneity in the first slot is satisfied. For positivity, we have
where the second equality follows because
is a real inner product space. The equation above also displays definiteness,
because the left side equals
if and only if ,
in other words, if .
For conjugate symmetry, we have
□