theorem :: NUMBER04:36

341 divides (2 |^ 341) - 2