theorem :: XPRIMES0:549

not 549 is prime