>>898
よく分かった。
式(4)は場合分けで定義が必要という修正や添え字に四角囲みの数字を使う
のはどうかという問題はあるが、証明としては十分と思う。