Category:Arens-Fort Space is Sigma-Compact