Em uma conversa entre amigos sobre futebol, concluiu-se que:

· alguns jogadores do time A já jogaram pelo time B;

· nenhum jogador do time C já jogou pelo time B.

Considerando-se tais conclusões como verdadeiras, é necessariamente verdadeiro que: