theorem :: XPRIMES2:798

canceled;