and assume further that ; in other words, that the fraction is in its lowest terms.
has a factor , since
has a factor (For if not, then is the product of the squares of one or more of the prime factors of , and is therefore a perfect square. Contradiction.)
has a factor
Therefore cannot be expressed in the form , and is therefore irrational.