theorem :: XPRIMES0:25

not 25 is prime