theorem Th42: :: NUMBER04:42

5 divides (2 |^ 645) - 2