If the origin had a countable local basis , replace it by the decreasing local basis . Each meets the dense set , so choose . Given any neighbourhood of the origin, some is contained in ; for every we then have . Thus converges to the origin, contradicting the preceding part. Consequently first countability fails already at the origin, and is not first countable.