>>968
>>970より、更により一般に 零点の重複度を込めて
|f(z)|≦|g (z)|
なら、f(z)/g (z) は正則で、
|f(z)/g (z)|≦1, 有界正則
f(z)/g (z) = c, |c| ≦ 1
f (z) = c*g (z), |c| ≦ 1