より， は で最大． そこで とおくと，

とする． 中山の補題より， 連接D加群 に対し，生成元 が存在して， は基底． とおく．非自明な関係式 が存在するとすると， これはある a に対し，非自明な関係式． 帰納法により， の間の非自明な線型関係式を得られるので仮定に矛盾． したがって， は自…