結果 : python polars check if dataframe is empty