Adds extension to lemma.
Merge branch 'master' of github.com:jfinkels/witnessfinding
Adds start to proof of entropy.
Shows that = is the same as <= and >=.
Updates proof to match theorem.