Доказательство линейности операторов: шаг за шагом