>>225
一般には真だといわれているとおもいますが
>>218は反例ではなくて肯定の一例にすぎません。

反例は”変数の数より少ない拘束条件ですべての変数を決定できる”ような具体例です。