遅くなりまして申し訳ありません。

http://www.geocities.jp/a_k_i_k_o928346/prop192_1000634__00.pdf
という具合にPrcardの小定理を証明できました。


なお, nbhd[,)やBall[,)は元来の近傍や開球を表し,
nbhd(,)やBall(,)はpuncturedな近傍や開球を表してます。