Требуется доказать следующее утверждение:

- инъекция

для любого

верно, что

. Причём уже известно, что А всегда включено в прообраз своего образа.
Слева направо нетрудно доказать вложение

от противного и получить их равенство:
Пускай

, тогда в силу инъективности

верно, что

, тогда

. То есть

.
А вот в другую сторону(когда дано

) у меня возникают какие-то сложности, если делать от противного. Предположим, что нет инъективности, тогда

. И противоречия с условием особо не возникает..
Объясните,пожалуйста,где я свернул не туда