theorem :: XPRIMES2:3931

canceled;