changed up to lemma 3
Merge branch 'master' of https://github.com/erikwaing/18.821-Chips