如图,“a|b”表示a整除b这里可能需要补充一个定理：若正整数a,b,c满足a,b互质，且a|bc,那么a|c定理的证明很简单，这里就不详细列出了。

一般有关书上都有事实上，用这种方法可以证明根号n(n是正整数）不是整数就是无理数。