$7\times 0=0.$
Любое число, умноженное на 0, даёт 0. Интуитивно: ноль групп по 7 — это 0. Формально: $a\cdot 0=a\cdot (0+0)=a\cdot 0+a\cdot 0$. Вычитая $a\cdot 0$ с обеих сторон даём $a\cdot 0=0$. Подставляя $a=7$: $7\cdot 0=0$.