证明全等直角三角形用HL ''HL''要不要大写?