theorem :: XPRIMES0:960

not 960 is prime