theorem :: XPRIMES0:1442

not 1442 is prime