theorem :: XPRIMES2:2970

canceled;