theorem :: XPRIMES2:6707

canceled;