theorem :: XPRIMES0:396

not 396 is prime