証明手法の分類:構成法、逆命題法など