Cleanups in thm7
Add missing demo in thm7
Fix Ramsey exist proof
Cut a line in thm7
Add missing demo in thm8
Minor cleanups in thm8
Change label of graph to be math thm 9
Minor cleanup and fixes in thm9
Add example and improve definition of flot
Improve thm10
i -> $ in thm12