Wrote a 1000 times simpler proof
Merge branch 'master' of https://github.com/LeeGiS/Barry_CS-331