theorem :: XPRIMES0:952

not 952 is prime