Why “lowest terms” is allowed

Any fraction can be reduced until numerator and denominator share no factor — 6/8 becomes 3/4. So assuming a/b is already in lowest terms costs us nothing, and it gives the proof something to contradict.