>>144
A→B→(i_B)→B : exact なのか?