theorem :: NUMBER04:63

for n being Nat st n <= 341 & n divides (2 |^ n) - 2 & not n divides (3 |^ n) - 3 holds
n = 341