theorem :: XPRIMES2:8786

canceled;