ByNobleID
    グラフィカルκ組システムについて : 6≤κ≤8, または頂点数≥κである非自明なグラフィカルκ組システムの不存在 | NobleID