When pythagorean School “proved” that √2 is not a rational number, if we reflect a little,we should be able to find an internal contradiction,that is,since √2 is not a rational number, that is to say, p and q in √2=p/q can’t all be integers, then it is unreasonable to assume that “p and q are relatively prime” in the Counter-thesis.