theorem :: XPRIMES2:5233

canceled;