n個の未知数があるとする
それについての自明でない等式(例えば1=1は自明)がn個あって、その中のどの1本の等式をとっても残りのn-1個の等式の集合の必要条件となっていない時未知数は全て有限個の組み合わせで求まる

この命題は正しいですか？