Note that this lemma does not give a simple criterion for deciding whether a given topology is indeed of the form Tf.
We now prove...... Indeed, suppose otherwise. Then......
We leave to the reader the proof that f is indeed self-adjoint, and not merely symmetric.