In mathematics the word unique means exactly one. So when a theorem (such as the division algorithm) states that "there is a unique r such that. . . ," it is telling us there is an r and only one such r.