add proof of bezout's lemma
add proof that all executions of G-S return the same stable matching
add a lemma to linear algebra
tweak wording on the independent set problem in algorithm notes