[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.