The Gelfond-Schneider theorem

The Gelfond-Schneider theorem is a partial positive answer to Hilbert's 7th Problem, giving a check for transcendability (not being the solution to ANY polynomial equation in rational coefficients) for a big class of numbers.