theorem :: XPRIMES0:548

not 548 is prime