Does the ratio 6/10 and 9/15 form a proportion ?