何が読みやすい証明か？ってのは結構議論ある気がする
個人的には行間が程よく開いていて細々した議論は補題とか定理として事前に示してあるのが読みやすいと思う
もしくは付録として後にまとめるか
最適な行間の取り方は対象とする読者に依存するから一概には言えない