Adding proof that the seven-move solution is unique.