theorem Th55: :: NUMBER04:55

not 43 divides (3 |^ 645) - 3