theorem :: XPRIMES0:816

not 816 is prime