theorem :: XPRIMES2:3970

canceled;