各位哥哥姐姐,证明HL是真命题要怎么证啊?help