Fixed-point theorems