>>75
まず定義じゃなくて定理