最小公倍数的定义