もし、その惑星が存在するならばhd 10180の惑星数は9個になる。