theorem Th56: :: NUMBER04:56

not 645 divides (3 |^ 645) - 3