theorem :: XPRIMES0:1836

not 1836 is prime