>>99
> アルキメデス多面体が13個しかない
未解決問題では?