theorem :: XPRIMES2:5785

canceled;