Category:Separable Metacompact Space is Lindelöf