Stav dette: Fixed point theorems.