零ベクトルの一意性