で、その定理がないと「しっかりした一変数複素解析の理論」のどの点で不都合が出てくるの?