theorem :: XPRIMES2:7805

canceled;