f가 R^n->R^n인 함수이고 Df가 non-singular 라고 가정하면 locally 1-1인건 책에 증명이 있는데 global하게는 없는걸 보아하니 반례가 있는듯 한데 아는사람?