Proof - Plumpton, C. (Core books in advanced mathematics, 1984)