theorem :: XPRIMES2:970

canceled;