theorem Th43: :: NUMBER04:43

43 divides (2 |^ 645) - 2