削除花果=ベクトル空間なのは間違いない