is 5:20=15:30 is an example of proportion?