theorem :: XPRIMES0:1419

not 1419 is prime