theorem :: XPRIMES2:238

canceled;