theorem Th21: :: NUMBER02:21

31 divides (2 |^ 341) - 2