なぜならそのような道は、既に見出した「色1と色3の頂点のみを伝ってformula_12とformula_14を結ぶ道」とどこかで交わらざるを得ないからである。