almost complete proof
all of the stuff we have
Merge branch 'master' of https://github.com/ceshriver/PolyRoots

Conflicts:
	avg_gap/avg_gap.tex