n個の星があるので、n(n+1)/2通りの距離がある。この中で最も小さい距離に
あたるのが、星Aと星Bの距離であるとする。

当然、星Aの天文学者は星Bを、星Bの天文学者は星Aを見ている。

星Aと星Bを除く、n-2個の星の中で、この二つの星を見ている天文学者がいなければ、
星Aと星Bが最初から無いものとし、n-2個の星で、同じ議論を行えばよい。
いずれ、二個か、三個になる事もあろうが、二個なら相互観測可能、三個なら相互観測が不可能なのは、自明。

星Aと星Bを除く、n-2個の星の中で、この二つの星のいずれかを見ている天文学者がk人(k>0)居たとする。
このn-2個の星の中にいる天文学者の数はn-2人。星Aも星Bも見ていない天文学者はn-2-k人。
星Aと星B以外のn-2個の星全てを、n-2-k人の天文学者で観測することはできない。