12.2.31 Теория чисел

Условие: Пусть \( n=\overline{a_{h} a_{h-1} \ldots a_{0}} \) - положительное целое. Доказать, что \( n \) делится на \( 2^{k} \) или \( 5^{k}(k \leq h) \) тогда и только тогда, когда на них делится число \( \overline{a_{k-1} \ldots a_{0}} \).