예를 들면

let 점 H: 점 A에서 직선 l에 내린 수선의 발


아니면

lemma 1 :  ~~~~~

pf) ~~~~~


이런 식으로