Em um setor, vale a regra: todo servidor que atua como auditor interno tem credencial de acesso ao sistema S. Além disso, sabe-se que existe pelo menos um auditor interno no setor.
Qual conclusão é obrigatoriamente verdadeira?