有限アーベル群Gの位数が素数pで割り切れるとき、Gは位数pの元をもつことを、|G|に関する帰納法で示せ
という問題が分かりません