But by the Morita theorem, every regular Lindelöf space is paracompact.
إلا أنه، وفقًا لنظرية موريتا، فإن كل فضاء ليندلوف منتظم يكون فضاءً متراصًا.