theorem :: NUMERAL1:8

for n being Nat holds
( 2 divides n iff 2 divides (digits (n,10)) . 0 )