theorem :: NEWTON06:37

for a being odd Nat holds 3 divides (2 |^ a) + 1