theorem Th41: :: NUMBER04:41

3 divides (2 |^ 645) - 2