X가 paracompact고
basis B가 주어졌을때

locally finite refinement가 B의 원소들로만 이루어져있도록 잡을수 있나