これって「なぜ10tダンプカーがF1マシンより遅いのか」の理論と同じだよな