On nonexpansive mappings