theorem :: XPRIMES0:1960

not 1960 is prime