In other words, it is a compactness theorem for the space BVloc.
言い換えると、空間 BVloc に対するコンパクト性定理である。