theorem :: XPRIMES0:1894

not 1894 is prime