順極限とKer(及びIm)が交換可能というのはどうやって示せば良いんでしょうか……?