theorem :: XPRIMES2:2950

canceled;