theorem :: XPRIMES0:1411

not 1411 is prime