  We provide rigorous proofs that the Integrated Gradients (IG) attribution
method for deep networks satisfies completeness and symmetry-preserving
properties. We also study the uniqueness of IG as a path method preserving
symmetry.
