theorem :: XPRIMES2:2243

canceled;