Prove some lemmas on factorization
Regular local ring is a UFD
Small changes to constructions.tex
Missing lemma in properties.tex

This lemma tells us you can recover a quasi-coherent module on X = Proj(S)
from the graded ring of sections provided X is quasi-compact and S has
enough degree 1 elements.
Coherent sheaves on Proj + tails of graded modules

This result was missing...
Bit more about factorization