A execução do comando mostrado abaixo permite listar os nomes dos auditores que auditaram todas as empresas com orçamento superior a 4.000.