Title: Hebe (revise Proof 5is)