theorem :: XPRIMES0:1816

not 1816 is prime