theorem :: XPRIMES2:2785

canceled;