This revised proof is still very hard, and is longer than the original proof, but is written in a more leisurely style.
Это пересмотренное доказательство остаётся очень сложным и длиннее исходного доказательства, но написано в более лёгком стиле.