On The Profinite Topology on a Free Group