Cliquer sur Existência e unicidade-demonstração pour ouvrir la ressource.