theorem :: XPRIMES0:1546

not 1546 is prime