theorem Th50: :: NUMBER04:50
not 341 divides (3 |^ 341) - 3