[see also: basic, critical, crucial, key
Essential to the proof are certain topological properties of G.
The assumed positivity of un is essential for these results.
We shall not use this fact in any essential way.