Are the ratios #4/9=8/13# proportional?