theorem Th58: :: NUMBER08:58

(32 |^ 2) - 1 = (3 * 11) * 31