During the proof it is assumed, this assumption leads to a contradiction, hence the assumption 'sqrt(m) is in Q' is false. The reason this is not a circular ar

During the proof it is assumed, this assumption leads to a contradiction, hence the assumption 'sqrt(m) is in Q' is false. The reason this is not a circular argument is that they don't assume the thing they're trying to prove, but rather it's negation.