Thrombosis in the pulmonary vein stump after left upper lobectomy as a possible cause of cerebral infarction.