theorem :: XPRIMES0:675

not 675 is prime