Teorem: $(X,\tau)$ topolojik uzay olmak üzere
$$((X,\tau), \text{ regüler})((X,\tau), \text{ Lindelöf })\Rightarrow (X,\tau), \text{ normal}.$$