Em Diamantina, há 20 mil torcedores do Atlético Mineiro. Dentre esses, 5 mil também torcem para o Barcelona. Sabendo que a população de Diamantina é de 42 mil habitantes e que 14 mil não torcem nem para o Atlético Mineiro e nem para o Barcelona, então, o número de habitantes que torcem para o Barcelona é: