上面的题目已经采纳的回答,可以用HL证明吗?