空集合にベクトルを付け加えて基底に出来るってこった