Toda's theorem