Методы и примеры доказательства сюръективности функций