A postscript version of this proof is available
here
.
