设 d 是 ab 的任意公倍数


证明右侧是公倍数且能整除所有的公倍数