Une démonstration du théorème sur la structure des ensembles de points

Le but de cette note est de démontrer le théorème suivant: Tout ensemble de points P (situé dans l'espace euclidien à m dimensions) se décompose en une somme de deux ensembles P=C+D dont l'ensemble C (s'il n'est pas vide) est clairsemé et effectivement énumérable, et l'ensemble D (s'il n'est pas vide) est dense en soi.