6次方程式の解法でバレンティナ群っての使うのがあるって聞いたけど知ってる人いない?