theorem Th51: :: NUMBER04:51

3 divides (3 |^ 561) - 3