theorem :: XPRIMES2:370

canceled;