theorem Th46: :: NUMBER07:46

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