theorem :: XPRIMES0:1965

not 1965 is prime