Toda's theorem

Toda's theorem is a significant result in computational complexity theory, which establishes a relationship between different complexity classes.