theorem Th37: :: NUMBER04:37

3 divides (2 |^ 561) - 2