Elementary fixed point theorems.