すなわち、定理の証明が補題Cを使っている場合、その箇所を全てCの証明に置き換えることで、新しい完全な証明図を与えることができるということである。
在这个定理的证明提及引理C{\displaystyleC}的时候，我们可以把它代换为C{\displaystyleC}的证明。