theorem :: XPRIMES0:356

not 356 is prime