F(0) of ATP synthase is a rotary proton channel. Obligatory coupling of proton translocation with rotation of c-subunit ring.