Generalized metric spaces are paracompact
scientific article