階乗の定義が露骨に帰納的なのに、ここで帰納的な証明を忌避する感覚がわからん