Доказательство следует из того, что деление и умножение связаны между собой. Это правило.
В равенсте 0:7=0 ( применяя правило) легко понять, что только при умножении частного 0 на делитель 7 мы получим делимое 0. Проверка: 0*7=0.
И никакие другие числа не подойдут.
Т.к. деление всегда проверяют действием умножением и наоборот. Это норма.
Желаю удачи!