theorem Th55: :: NUMBER08:55

(16 |^ 2) - 1 = (3 * 5) * 17