theorem :: XPRIMES2:2938

canceled;