Si K Vi o , b x c \ c x.