>>37 訂正と追加

訂正
β1,β2,β3,β4∈Q(ζ5)
 ↓
β1,β2,β3,β4∈Q(a^1/5,ζ5)

追加
要するに、あるaが存在して、クンマー拡大 Q(a^1/5,ζ5)で
β1,β2,β3,β4∈Q(a^1/5,ζ5)と出来るかってこと
(a∈Q(ζ5))

a∈Q(ζ5)が見つかれば、
クンマー拡大 Q(a^1/5,ζ5)に成っていることが
一目瞭然なのです