Jari-jari \(r_a=(d(a,q)-d(a,p))/2\) bernilai positif dan memenuhi \(B(a,r_a)\subseteq V_p\text{.}\) Jadi \(V_p\) terbuka. Dengan argumen simetris, \(V_q\) juga terbuka.