Rewrite each of the following theorems using quantifiers and predicates. Note that the theorems are not precisely stated. It is up to you to choose reasonable sets from which the variables should be drawn. Further, notice that the definitions we have given you should be stated as predicates, but we would like you to formalize their specification. Make sure that your theorems have no unbound variables.

Theorem: For any real number x there is exactly one y such that 2x+5 = y