theorem :: XPRIMES0:1440

not 1440 is prime