theorem :: XPRIMES0:442

not 442 is prime