theorem :: XPRIMES2:6713

canceled;