theorem :: XPRIMES0:1675

not 1675 is prime