The chemiosmotic coupling hypothesis of oxidative phosphorylation proposes that adenosine triphosphate (ATP) is formed because
There is a change in the permeability of the inner mitochondrial membrane toward adenosine diphosphate (ADP)
High energy bonds are formed in mitochondrial proteins
ADP is pumped out of the matrix into the intermembrane space
A proton gradient forms across the inner membrane