theorem Th38: :: NUMBER04:38

11 divides (2 |^ 561) - 2