Un ejemplo famoso de demostración por contradicción muestra que formula_10 es un número irracional: