theorem :: XPRIMES0:852

not 852 is prime