theorem :: XPRIMES0:1826

not 1826 is prime