A fixed point theorem for closed-graphed decomposable-valued correspondences