theorem Th54: :: NUMBER08:54

(14 |^ 2) - 1 = (3 * 5) * 13