A first draft proof:
Class discussion of improvements:
