程序逻辑-整除判定