theorem :: XPRIMES2:6998

canceled;