A Theory for Rate Constants in Rotation Trajectories of F1-ATPase | AMiner