theorem :: XPRIMES2:796

canceled;