大学数学振り回して示すのはいいけど、証明に使った環や群の緒性質もちゃんと背理法なしで容易に示せるんですかね...