Cleaning up my proof a little
Not only is the 7 solution unique, it has the best EV of any solution up to 10 moves
Merge pull request #2 from ryanbw/master

7 has the best EV too