theorem Th56: :: NUMBER08:56

(20 |^ 2) - 1 = (3 * 7) * 19