मान लीजिए कि `f:X rarr Y` एक . व्युत्क्रमणीय फलन है सिद्ध कीजिए कि `f^(-1)` का प्रतिलोम f है अर्थात `(f^(-1))^(-1) = f` है।