thm 7.2

moved bounds deg(D), K into the statement of the proposition, and give
just a little more detail on how to prove the bounds