theorem Th58: :: NUMBER04:58

13 divides (3 |^ 1105) - 3