それゆえ任意のCの元cに対してb=q(a)+kが存在してc=r(b)=r(q(a)+k)=r(k)。
子序列B→C→0蕴涵着r是映上的；从而对任意c属于C存在某个b=q（a）+k使得c=r（b）=r(q（a）+k)=r（k）。