Talk:Fundamental theorem of Hilbert spaces