>>763
ω(a)を1とaと加減乗除と根号だけで表示できるか？という問題に帰着することまではわかった。