How is the proof that the square root of 2 is irrational valid? Even if we assume it is true all it shows is that the square root of 2 may be a quotient that is composed of a prime numerator and a prime denominator. How do we know the square root of 2 isn’t some super long prime divided by some super long prime?