完全グラフformula_1は任意のformula_2について強正則である。