\text{Ker} (k_* - l_*) \cong \text{Im} (i_*, j_*)