>>91
円分多項式の既約性は代数的整数論003の162で証明されている。
その証明は勿論トリビアルな事実の積み重ねから成っている。
その他何でもいいけど例えばこのスレのpart1の451のGalois理論の基本定理の証明も同様。