positive semidefinite form

A result of Albrecht Pfister shows that a positive semidefinite form in n variables can be expressed as a sum of 2 squares.

We will say that a seminorm p is a Hilbert seminorm if V is a Hilbert space, or equivalently if p comes from a sesquilinear positive semidefinite form on V.