Local Rings and ResiduesCovers the proof of theorem 4.2 on multiplicities and the special structure of local rings at a simple point of a plane.
Functional Analysis ICovers eigenvectors, spectral theorems, and finite sequences in functional analysis.