非常に荒っぽく言うと
平坦な構造の解析的な変形の特徴を
考えられる限り一般的な枠組みで証明した
ということ