theorem :: XPRIMES2:1713

canceled;