theorem :: XPRIMES2:6804

canceled;