theorem :: XPRIMES0:1774

not 1774 is prime