theorem :: XPRIMES0:812

not 812 is prime