theorem Th46: :: NUMBER04:46
13 divides (2 |^ 1105) - 2