theorem Th101: :: NUMBER14:101

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