If there is a surjection from A to B that is not injective, then no surjection from A to B is injective.
* Пусть задана функция formula_3 на конечных множествах "A" и "B", причём formula_4, где formula_5.