1: \begin{proof}

2:   See Cox, Little, O'Shea \cite{opac-b1094391}. The rigorous

3:   definition of multiplicity is given in the next chapter, Definition \ref{local_ring}. 

4: \end{proof}