怎样证明HL相似?