theorem :: XPRIMES2:1298

canceled;