確かCHは肯定も否定もZFCと矛盾しない、すなわち独立と証明されてるはず