Talk:Hellinger–Toeplitz theorem