一変数の定理を多変数にしてもうまくいかないらしい