برداشت دوم از قضیه اول (1)