theorem :: XPRIMES0:543

not 543 is prime