用 KM 曲線檢驗 PH 假設

在學過比例風險（proportional hazards）假設後，你發現自己用 prison DataFrame 建立的 Cox PH 模型還沒檢驗過。你將用 Kaplan-Meier 曲線來檢驗類別變數 fin 是否滿足比例風險假設。

cph 是已經用所有欄位擬合好的 Cox PH 模型，並已載入。KaplanMeierFitter 類別的物件 kmf 也已經建立。

CoxPHFitter 類別、KaplanMeierFitter 類別，以及 matplotlib.pyplot 模組都已匯入。pandas 與 numpy 分別以 pd 和 np 匯入。