theorem Th57: :: NUMBER08:57

(22 |^ 2) - 1 = (3 * 7) * 23