What is the constant of proportionality in y=9/x?