証明問題で

(題意)
⇔ (式A)
⇔ (式B)
よって式Bを示す

と始めるのはありなんか?