"Theorem in analytic number theory" . . . . .