This presentation needs JavaScript. The full mathematical argument is available in
proof-notes.md
.