観測されない星が必ず存在する

のと

観測されない星が存在する配置ができる

のは違う気がする

a->b b->a c->aだとcが観察されないけど

a->b b->c c->aだと全部観察されている。