theorem Th54: :: NUMBER07:54

(27 |^ 2) + 1 = (2 * 5) * 73