theorem Th48: :: NUMBER07:48

(17 |^ 2) + 1 = (2 * 5) * 29