theorem :: XPRIMES2:8998

canceled;