theorem Th50: :: NUMBER07:50

(21 |^ 2) + 1 = (2 * 13) * 17