一部まとめた証明を載せてみました。