>555
「条件を帰納的に満たす」というのはどういう意味だ?