The previous case K] is a special case of this.
上述の K] はこの特別の場合である。