>>40
>要するに、あるaが存在して、クンマー拡大 Q(a^1/5,ζ5)で
>β1,β2,β3,β4∈Q(a^1/5,ζ5)と出来るかってこと
>（a∈Q(ζ5)）
　aは一つじゃないけど
　つまり、η、η^2、η^4、η^3　の巡回ρによって生成される
　ρ(a)、ρ^2(a)、ρ^3(a)　の　5乗根も追加される
　
　それも　石井本の9　ピークの定理に立とうの定理6.9(p481-486)に書いてある
　証明全部読みなよ　全部書いてあるから