theorem :: XPRIMES0:672

not 672 is prime