Верно ли, что если для некоторого гомоморфизма групп

выполнено следующее свойство (сократимость справа), то он сюръективен?
Гомоморфизм f называется сократимым справа, если для любой группы

и любых гомоморфизмов

выполнено

Как это доказать?
-- Пн авг 31, 2009 17:21:43 --Уже нашел.
Это верно. Нашел в книжке
Adamek J., Herrlich H., Strecker G.E. Abstract and concrete categories: the joy of cats, стр. 129, exercise 7H.