theorem Th57: :: NUMBER07:57

(112 |^ 2) + 1 = (5 * 13) * 193