theorem :: XPRIMES0:1812

not 1812 is prime