Cerebral Embolism Caused by Thrombus in the Pulmonary Vein Stump after Left Lower Lobectomy: A Case Report and Literature Review | Synapse