それが正しければ、基底の定義に生成系であることは要らなくなるな
とりあえず正しくない=反例がある、とは考えなかったの？