theorem :: NUMBER04:44

645 divides (2 |^ 645) - 2