>>43を使う命題が気になるなら、それは自分で調べればいいと思うし、このスレでは例として「体の有限乗法群が巡回群であること」が挙げられている
要するに、この命題を使う証明が気になるのではなくて、

「これを使わなきゃ証明できない命題を挙げてみろ。できなきゃ俺の勝ち」

っていう口喧嘩がしたいだけ？