Acute cerebral infarction caused by atrial thrombus originating from left upper pulmonary vein stump after left upper lobe trisegmentectomy