The Gelfond-Schneider theorem
数論における重要な定理の名前です。
states that
「~と述べている」ということを表します。
if α and β are algebraic numbers
「もしαとβが代数的数であるならば」という条件を示します。
with α ≠ 0, 1
「αは0でも1でもない」というαの条件です。
and β being irrational
「そしてβは無理数である」というβの条件です。
then α^β is transcendental
「そのときαのβ乗は超越数である」という結論を示します。