Let CP = b.
נניח ש-CP = b.