if the proximity space is separated the resulting topology is hausdorff kabone n'ubwo umugabo yaba yarawubonye mbere y'uko babana wumva ute igitekerezo cye ntawe urata inkovu z'imiringa