Fixed-point theorem