theorem :: XPRIMES2:794

canceled;