theorem :: XPRIMES2:1230

canceled;