theorem :: XPRIMES2:1451

canceled;