theorem :: XPRIMES2:2949

canceled;