式の証明の部分のもっと詳しい資料もあればよかったです。