ひとつは formula_4の元とストリームの次の状態が返される場合、もうひとつは単元集合formula_20の元が返される場合である。