theorem :: XPRIMES0:1548

not 1548 is prime