证明:如果 f 是双射,则 (f^(-1))^(-1) = f 。