定理の分類:合同定理、相似定理、ピタゴラスの定理など