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