generated at
インダクション
帰納 induction

帰納法