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