Можно ли так доказывать признак делимости на 2?
Когда говорю, про ab...c0 и т. п. имею ввиду что там чёрточка сверху.
Доказательство:
Любое число, которое делится на два, можно представить в виде 2k.
1. При k = ab...c0 или k = ab...c5, 2k = xy...z0.
2. При k = ab...c1 или k = ab...c6, 2k = xy...z2.
3. При k = ab...c2 или k = ab...c7, 2k = xy...z4.
3. При k = ab...c3 или k = ab...c8, 2k = xy...z6.
4. При k = ab...c4 или k = ab...c9, 2k = xy...z8.
Поэтому, признак делимости на 2 звучит так: Если число оканчивается на 2, то оно оканчивается чётной цифрой, т. е. 2, 4, 6, 8, 0.

Да, всё верно, кроме последнего предложения. Оно должно звучать так: Если число заканчивается четной цифрой, то оно ДЕЛИТСЯ на 2