暇だしゴリスナーのために同接の定義について語らないか?