>>817
ありがとうございます。
「証明では結論式を使ってはいけない」という教師の説明にとても違和感を感じてたとこです。