theorem Th100: :: NUMBER14:100

for n being Nat
for i being Integer st 2 |^ 2 <= n & 2 |^ n divides i |^ 3 holds
2 |^ 2 divides i