_54为正整数，formula_7，若且唯若formula_56
除法原理一.若formula_57且formula_58互质，则formula_7
除法原理二.每个正整数都可以分解为数个因数的乘积，称为整数分解。例如 formula_60，因数 formula_31 与 formula_62 都可以整除 formula_63，记为 formula_64 与 formula_65。如果 formula_63 可以整除某正整数 formula_1，亦即 form