Suponha que $X\times Y$ não é Baire então o jogador I tem uma estrategia vencedora assim pelo exercício anterior temos que existe uma estrategia vencedora para o jogador I no jogo $BM(Y)$ isso é uma contradição pois $Y$ é Baire