theorem :: XPRIMES0:56

not 56 is prime