Redirecting to Hellinger–Toeplitz theorem