A non-zero combination of the monomials z^τ e^{⟨t·x, z⟩} has a non-zero derivative at the origin

Initializing...

A non-zero combination of the monomials z^τ e^{⟨t·x, z⟩} has a non-zero derivative at the origin · Prove2Me