A case of renal cell carcinoma with microscopic pulmonary tumor embolism proven by surgical lung biopsy. (2022)