二重和の公式の証明

2重和の公式の証明の数式体裁処理すべて完了。