theorem :: NUMBER03:47

{ n where n is odd Nat : n divides (3 |^ n) + 1 } = {1}