Exercise 7, Appendix 0

Let E be a real Hilbert space. Show that the Sazonov topology on E is defined by the set of semi-norms $Q^{1/2}$, where Q runs over the set of nuclear positive quadratic forms on E. (Use Exer. 6.)