Regarding Silverman's AEC, page $19$, Proposition $1.4$
each of the terms in the sum has distinct order at P, so every term must vanish
But why? I guess we need to show order of curve satisfies the axiom of valuation beforehand. I cannot find any contradiction with $\Phi(t,x)=0$, any help (hints) would be appreciated!