Indeed, I was just being a bit pedantic by pointing it out.

edit: so to make it crystal clear, I didn't try to argue chess was solved, just to point out why I think that theorem doesn't really apply to most of chess.