acest rezultat este un corolar al teoremei gelfond–schneider⁠d care afirmă că dacă α este algebric și diferit de  sau  și dacă β este algebric și irațional atunci αβ este transcendent astfel funcția x poate fi înlocuită cu cx pentru orice c algebric diferit de  și  într-adevăr