theorem :: XPRIMES2:1294

canceled;