>>43は知らなくても問題ないって
例えば体の情報群の有限部分群は巡回というのは>>43を使って証明できるが、使わなくても証明できる
だから別に載ってなくても知らなくても問題ない