theorem :: XPRIMES0:408

not 408 is prime