hl怎么证明