Proposal Removal of the unit-circle tag
The unit-circle tag has just been created. It doesn't seem to me that the concept of unit circle deserves a tag.
Let $Φ:C→D$ be a non constant map of smooth curves.
Silverman says in AEC
for all but finitely many $y∈D$,
$$\#\phi^{-1}(y) = \deg_s(\phi)$$
How can I prove this? Silverman also say to prove this, see Hartshorne Ⅱ6.8.
But I can find no connection between them.
Some remarks in mathstacks I see w...