范畴论里极为流行的一个引理.