ご回答誠に有難うございます。

> > から全く進めません。どのように書けますでしょうか?
>  N の素因数分解に現れる素数の中で
：
> これで数学的帰納法が完成したことになります.

詳細なご説明大変恐縮です。お陰様で漸く解決できました。