theorem :: XPRIMES0:57

not 57 is prime