Bourbaki–Witt Fixed-Point Theorem