theorem :: XPRIMES2:2235

canceled;