Do 9/24 and 15/40 form a proportion?