theorem :: XPRIMES2:5070

canceled;