Sabe-se que todos os torcedores do time T que idolatram o jogador J também idolatram o jogador K. Também é sabido que nem todo torcedor do time T idolatra o jogador K. Dessa forma, é necessariamente verdadeiro que: