• 1. 两个数的最大公因数一定小于其中一个数。