Existence of fixed points