Suponga que $G$ es un grafo y $S\subset V(G)$ . Suponga que hemos asignado arbitrariamente números reales a cada elemento de $S$ . Demuestre que podemos asignar números a cada vértice en $G\backslash S$ de modo que para cada $v\in G\backslash S$ el número asignado a $v$ es el promedio de sus vecinos.