theorem :: XPRIMES0:965

not 965 is prime