より, である。よって, であるから,
(1) の結果から,であるから, に対し, なので, であることはよいから, を示せばよい。 ,すなわち であるとすると,ある の元 が存在して, となる。このとき, であるから,虚部を比較して 。よって であり,これより実部を比較すれば したがって, である。ゆえに