Clique em Existência e unicidade - enunciado para abrir o recurso.