The proof that shows the square root of 2 is irrational starts by assuming, for a contradiction, that it is rational. It starts with the assumption that it can be written as p/q where p and q have no factors in common.
Why do we start by assuming p and q have no factors in common? If we went on to find that they have factors in common, we could cancel them later on?