theorem :: XPRIMES2:1249

canceled;