theorem :: XPRIMES0:51

not 51 is prime