Sorry if I'm posting in the wrong place. Since the difficulty I have is with the text of the book, and not the exercises, I posted here. In proving theorem I.2, how is theorem I.1 used to assert that 'there is at most one such x'? The first image below gives the background text. The text I have trouble with is highlighted in the second image below. Thank you.