自然數整除自然數 a 整除 b,表示存在自然數乘數 k 使 b=a·k;零的兩側行為必須分開。atlas-natural-divisibility · canonical_mko自然數整除前置節點自然數四則運算