theorem :: XPRIMES2:2705

canceled;