2重和ΣΣの公式の証明

 2重和ΣΣの公式の証明の大枠リフォーム。