theorem :: XPRIMES2:3870

canceled;