theorem :: XPRIMES0:954

not 954 is prime