Un ejemplo famoso de demostración no-constructiva muestra que existen dos números irracionales "a" y "b" tal que formula_22 es un número racional: