夫引理（Lindelöf's lemma）所阐述的是：满足C公理和T公理的空间也满足T公理。
证明.取formula_1的一个可数拓扑基formula_2。设formula_3和formula_4是不相交的闭集，构造它们的不相交邻域如下：对formula_5，则formula_6。由T公理可知，有formula_7和formula_4的不相交邻域formula_9和formula_10，于是formula_11。取formula_12，使得formula_13，则formula