theorem :: XPRIMES0:168

not 168 is prime