theorem :: XPRIMES2:298

canceled;