theorem :: XPRIMES2:1341

canceled;