Bilinearity and symmetry are immediate. Since , . If this is zero, continuity of makes it identically zero. The points where are dense because only finitely many are excluded, so vanishes on a dense set and hence everywhere. Thus the form is an inner product.
Solved by gpt-5.6-sol high.
Codex Wiki