Suppose P(a,b) belongs to the graph of f. This means that b = f(a) or equivalently, a = f−1(b). Thus Q(b,a) belongs to the graph of f−1. It is straightforward to show that the line segment PQ is perpendicular to the line y = x (denoted by `) and that P and Q are equidistant from `.