定理 があるとする。 に対し、 [tex:Q\hspace{3}:\hspace{3}(c\hspace{3}\downarrow K)\hspace{3}\longrightarrow \hspace{3}M\hspace{30}(\hspace{3}\hspace{3}\rightarrow \hspace{3}m\hspace{3})] を考える。ここで が のように極限を持ち、その極限錐が …