果南「近傍がユークリッド半平面と同相な点の境界成分1の集合で単側性を持つ種数1・境界成分数1の2次元多様体曲面のことだよ」