theorem :: XPRIMES0:121

not 121 is prime