theorem :: XPRIMES0:440

not 440 is prime