Aún con este resultado de 1-1, Brasil se hubiera convertido en el ganador del Mundial.