São equivalentes as proposições “Se um auditor fiscal não é um estudioso atualizado, então os colaboradores administrativos da Fazenda Pública não crescerão internamente” e “Os colaboradores administrativos da Fazenda Pública crescem internamente se, e somente se, o auditor fiscal é um estudioso atualizado”.