すべての "i"≥1に対して、関手 "rif":a → bが存在し、上記の列は以下のように続く。