"отображение имеет обратное тогда и только тогда, когда оно биективно"
Обратное неверно потому что отображение ставит каждому эл-ту данного мн-ва в соответствие элемент другого мн-ва, а при отсутствии биективности, при обратном переходе получается, что отображение выполняется не для всего множества?
вам действительно остается всего лишь доказать выполнение этих двух условий
Доказать, как таково я не смогу, лишь проверить же?