Какой формулировке соответствует пример: 8 делится на 2 значит 8 умножить на 5 делится на 2 потому что : 8*5=(2*4) *5=2*(4*5)

Это иллюстрация свойства делимости при умножении:

Формулировка:
Если $d\mid a$, то для любого целого $k$ верно $d\mid ak$.

Пояснение на примере:
Так как $2\mid 8$, то $8=2\cdot 4$. Тогда

а значит $8\cdot 5$ тоже кратно $2$. Общая идея: из $a=d\cdot m$ следует $ak=d\cdot(mk)$, т.е. $d\mid ak$.