Good Regulator Theorem
Wikipedia
Conant-Ashby Theorem