Это в значительной степени дело вкуса. Вот сегодняшний пример.
Вопрос:
Если при этом
(1), то существует такой непрерывный линейный оператор С, отображающий G в F, что

.
Доказательство. Рассмотрим для каждого элемента z из G его полный прообраз

. Из условия
(1) следует, что все элементы x, принадлежащие

, переводятся оператором А в один и тот же элемент y...
Второй вопрос, непонятно, как это следует из условия?
Ответ:
Фиксируйте какай-нибудь элемент из

. Любой другой элемент прообраза отличаются от этого фиксированного на некоторый элемент из ядра

-- и, значит, тем более из ядра

. Следовательно,

тем более переводит этот любой другой элемент туда же, что и тот фиксированный.
А можно было бы ответить, например, так:
Фиксируем

; тогда


И как лучше? В первом варианте изложение, конечно, чересчур разгильдяйское. Второй же не менее чрезмерно засушен. В любом случае думать надо первым способом (я, во всяком случае, иначе не умею), на а оформлять... Дело вкуса.