証明の結果よりも、証明の仕方に興味があるタイプです。