数学的帰納法は証明の技法ではない。
数学的帰納法と、法則の発見は大抵分離される。
法則の発見の後に数学的帰納法による証明をつけるのが自然な流れか。