一般次元ユークリッド空間r"n" にも、最小の頂点で構成できる立体は存在する。