theorem :: XPRIMES2:713

canceled;