theorem :: XPRIMES2:1373

canceled;