https://123dok.org/document/zgwd6dkv-clique-number-di-alt.html