theorem Th39: :: NUMBER04:39

17 divides (2 |^ 561) - 2