theorem :: XPRIMES2:1199

canceled;