Gelfond's theorem