The following summarizes basic properties of an affine scheme that in particular are used in the proof of [Hart, II, Prop