Which ratio forms a proportion with 16/20?