theorem Th13: :: NUMBER11:13

for n being Nat holds
( 100 divides n iff ( (digits (n,10)) . 0 = 0 & (digits (n,10)) . 1 = 0 ) )