theorem :: XPRIMES0:546

not 546 is prime