theorem :: XPRIMES2:5298

canceled;