theorem :: NUMBER04:40

561 divides (2 |^ 561) - 2