theorem Th45: :: NUMBER04:45

5 divides (2 |^ 1105) - 2