Prove that there exists a sequence of open neighbourhoods (uₙ)_n of x such that for any neighbourhood n of x there exists n₀ such that uₙ subset n for any n geq n₀?