Teorema. Sejam α, β ∈ ℝ, com α > 0* e β > 0*. Então γ = ℚ− ∪ {ab | a ∈ α, b ∈ β, a > 0, b > 0} é um número real.

O enunciado apresentado não é um teorema, mas sim uma afirmação que precisa ser provada. Para provar que γ é um número real, é necessário mostrar que ele é um conjunto limitado inferiormente e que todo subconjunto não vazio limitado superiormente de γ possui supremo em γ.