こういうやり方もできる
１．第一成分が０でないベクトルを１つ選ぶ
　　（どれも０だったら、第二成分でやる
　　　少なくとも０でないものがある成分までこれをやる）
２．選んだベクトルの定数倍を足すことで他のベクトルの第一成分を０にする
３．選ばれたベクトル以外のベクトルに対して第二成分で１．と２．を繰り返し、ベクトルがなくなったら終わり

これで０でないベクトルの個数を数えればいい
っていうか、それ消去法じゃんって、そうですけど何か？