theorem :: NUMBER04:31

for n being Nat holds not 65 divides (2 |^ n) - 3