距離化可能定理part-1:BNS

パート-1です。マイナスです。ビング・長田・スミルノフの距離化可能定理です。