See e.g. Lee (2003, Proposition 3.8.)
例子请参见Lee (2003， Proposition 3.8.)。