theorem :: XPRIMES2:1223

canceled;