theorem :: XPRIMES2:3998

canceled;