A fixed point theorem for non-expansive, condensing mappings