theorem Th53: :: NUMBER04:53

17 divides (3 |^ 561) - 3