theorem :: XPRIMES0:100

not 100 is prime