>>518
それは←が証明できて、⇒ができてないのではないか？

⇒は、
「ｒ^{1/3}∈Ｑでないときは、どのような多項式（∈Ｑ［Ｘ］）の積にも分解できない」
ことを示すのではないか？