theorem :: XPRIMES0:336

not 336 is prime