Comment by marjancek

> The proof — ... — is in some ways even more complicated than its predecessors.

Damn it in deed.

But perhaps it will open a door to new proofs? Perhaps in other areas?