Add write up of theory of buchberger's algorithm