theorem :: XPRIMES0:108

not 108 is prime