この定理によりこれらの圏において元ごとのdiagram chasingによる証明を用いることができる。