>>214
明示的に書いてないとわかりにくかったかな？
グラフGが連結かつ頂点数が25、矢印の数が24という仮定から
Gにループが無いという結論を導いてるだけだよ

７レース目までやる状況だと頂点数25、矢印の数が28になるから
勿論何らかのループは生じるだろうね