>>531
成り立つ。

E(a) の任意の元は a の E 係数有理式で書けるから、それを f,g で送ってみればよい。