Talk:Strongly Locally Compact Space is Locally Compact