このような頂点を1つ選んでformula_4と呼ぶことにする。