theorem :: XPRIMES2:7998

canceled;