Characterization of all those integral domain for which $1$ is the only element that is its own multiplicative inverse?
Proving that an integral domain has at most two elements that satisfy the equation $x^2 = 1$.