Experiments Prove Equation for Bicycle Power