theorem :: XPRIMES0:552

not 552 is prime