. . . . "\\\"central theorem\\\"" . . . . . "Tikhonov's theorem" . "Tychonoff's theorem" . . . "Tychonoff's theorem" . . "theorem" . "compactness theorem" . . "therefore also the function space" .