[see also: outline
1 A brief sketch of the reasoning is given below.
2 We sketch the proof of the easy half of the theorem.