大域米田の補題を使った計算練習をしてみます。$`\newcommand{\cat}[1]{\mathcal{#1}} %\newcommand{\Imp}{ \Rightarrow } \newcommand{\In}{ \text{ in } } \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\op}{\mathrm{op}} \newcommand{\id}{\mathrm{id}…