theorem :: XPRIMES2:707

canceled;