条件からfはC上の整関数となるから結論は正しい