  We prove a fixed point theorem for a family of Banach spaces, notably L^1 and
its non-commutative analogues. Several applications are given, e.g. the optimal
solution to the "derivation problem" studied since the 1960s.
