あくまでも体裁に対する指摘であり、内容に関して否定してはいません、とだけお伝えしておきます。
(ご指摘の通り精読はしておりませんので)

「主張の分割」については >391 の書かれた通りで、正直なにをお怒りかわかりません。
証明に限らず、大きな問題を小さな問題に分割して各々を解決する、というのはよくある方法であると考えます。