théorème des fermés emboîtés

concept théorème affirmant que dans un espace métrique complet, l'intersection d'une suite décroissante de fermés dont le diamètre tend vers 0 se résume à un point