为证a|b,只需证明：对任意素数p,假设p在a的素数分解中的次数为s,在b的素数分解中的次数为t,则t>=s.
用反证法：假设t