Говорят, что целое число а делится нацело на целое число b, если найдется такое целое число k, что a = b ⋅ k.