Finished proof of solution for tic-tac-toe, but also noticed that in the formulation, the cases where there is one spot left (and thus only X moves) results in a false hypothesis.