ATP合成酵素
彼の理論は、ATP合成に電気化学勾配のエネルギーを用いる膜タンパク質であるATP合成酵素が見つかったことで確かになった。