Fixed-point theory