Redirecting to Gelfond–Schneider theorem