ギャップでなければ、今頃RIMSの面々が補題3.12のより細かい証明をしてる
これだけギャップと言われながら自明としか返せないというのがギャップ