theorem :: XPRIMES0:75

not 75 is prime