theorem :: XPRIMES2:6805

canceled;