theorem :: XPRIMES2:2939

canceled;