ベクトルのベクトル倍を定義したり
任意のベクトルaに対しa/b=1をみたすようなベクトルbを考えることはできないのか