Report question
In a proof that \(\sqrt{3}\) is irrational, a student assumes \(\sqrt{3}=\frac{p}{q}\), where \(p\) and \(q\) are coprime, and obtains \(p^2=3q^2\). The student directly writes that \(q\) is divisible by 3. Which statement is needed to make the reasoning valid?