theorem :: XPRIMES2:2935

canceled;