f 가 전단사이면 (f^(-1))^(-1) = f 임을 증명하라