Well, take (p, s) and (p, r). If s ? r, it’s not a function.
Well, take (p, s) and (p, r). If s ? r, it’s not a function.
Now s = 3p + 5 and r = 3p + 5 by definition.
Since equality is an equivalence relationship, s = r. Which says that the second coordinate is unique.