What is 5/7 = x/3 proportion?