. . . "Hardy's theorem" . . . "Hardy's theorem" . . . .