Утверждение «Если число делится на 16, значит оно обязательно делится на 8» является истинным.
Обоснование: Число 16 является кратным числа 8 (16 = 2 × 8). Если число делится на 16, то оно содержит множитель 16. Так как 16 содержит множитель 8, то это число обязательно делится и на 8.