Open subscheme/Affine and extended ideal/Finitely generated/Fact/Proof