theorem :: XPRIMES0:1408

not 1408 is prime