theorem :: XPRIMES0:1869

not 1869 is prime