theorem :: XPRIMES2:6810

canceled;