theorem Th57: :: NUMBER04:57

5 divides (3 |^ 1105) - 3