theorem :: XPRIMES0:55

not 55 is prime