集積点定義タイプ1⇔集積点定義タイプ2

「《実数の集合》の集積点」の定義－タイプ1とタイプ2が同値であることの証明ページを新規作成・アップロード。