theorem :: XPRIMES0:1404

not 1404 is prime