instructive commentaries and complements to the original proofs, as well as offering a