theorem Th20: :: NUMBER02:20

11 divides (2 |^ 341) - 2