theorem Th12: :: NUMBER03:12

for n being Nat st n divides 8 holds
n in {1,2,4,8}