幾何学的に存在可能の定義は?