theorem :: XPRIMES2:3939

canceled;