theorem :: XPRIMES2:705

canceled;