theorem :: XPRIMES2:6705

canceled;