theorem :: XPRIMES0:1673

not 1673 is prime