theorem :: XPRIMES2:7786

canceled;