theorem :: XPRIMES2:5870

canceled;