最大公约数和质数的证明(本科),