Cliquer sur Existência e unicidade - enunciado pour ouvrir la ressource.