Ну тут зависит от последовательности утверждений. Мы можем явно и не употреблять слова "сепарабельность", пользуясь только счётностью и всюду-плотностью рациональных точек. Саму сепарабельность

и доказывают через рациональные точки.
А вот если Вам дано произвольное сепарабельное пространство, то Ваше утверждение, конечно, будет следовать из сепарабельности, то есть из существования счётного и всюду плотного множества, с помощью которого мы и пронумеруем шары.