The symmetry of this positive definite product follows from the symmetry of `` K '' and the non-degeneracy follows from the fact that `` K '' is inner .
The symmetry of this inner product follows from the symmetry of `` K '' and the non-degeneracy follows from the fact that `` K '' is positive definite .