Здесь мы имеем дело с делимостью чисел. Формулировка, соответствующая этому примеру, может быть следующей: Если число a делится на число b, то произведение a на любое целое число c также делится на b. В данном случае: a = 8, b = 2, c = 5. Мы показываем, что если 8 делится на 2 (8 = 2 * 4), то 8 * 5 также делится на 2, потому что мы можем выразить 8 5 как (2 * 4) * 5 = 2 * (4 * 5).