第2の支柱

第2の支柱に関して執筆を進めております。
だんべるやおだんごと違って、
柱ごとの圧縮率が高くないです。
つまり、いくつかの証明が「同様」で済ませられれば
証明を省略して圧縮ができるのですが、それができる状況にないです。
この第2の柱もページ数も執筆時間もそこそこ要しそうです。