Hellinger%E2%80%93Toeplitz theorem