theorem :: XPRIMES0:124

not 124 is prime