Gelfond'un ünlü teoremine göre (ki, bu Hilbert'in 7. probemine kısmen cevaptır),α≠0;1 sayısı bir cebirsel sayı ve β sayısı da bir cebirsel irrasyonel sayı ise, αβ sayısı aşkın (transandantal) bir sayıdır. Dolayısıyla, α bir tam kare değilse, √α√α her zaman aşkın bir sayıdır.