>>18

U_ε(P)∩Sが有限集合で{P}でなければ、この集合に、Pに一番近い
P以外の点Qがある。PとQの距離の1/2を改めてεとすればよい。