theorem :: XPRIMES0:945

not 945 is prime