theorem :: XPRIMES2:2224

canceled;