theorem Th52: :: NUMBER07:52

(23 |^ 2) + 1 = (2 * 5) * 53