theorem :: NUMBER04:48
1105 divides (2 |^ 1105) - 2