theorem Th47: :: NUMBER04:47

17 divides (2 |^ 1105) - 2