theorem :: XPRIMES0:125

not 125 is prime