theorem :: XPRIMES2:6785

canceled;