A fair pair of dice is rolled and the sum of the points is noted. What is the probability that one of the dice results in a point of 5​, given that the sum of the points is 9​?