역함수가 정의되고 정의역과 공역이 실수일 때 맞을거같은데 증명이 안되네요