theorem :: XPRIMES0:52

not 52 is prime