定義は言葉、定理は数式
eecedccbabeabbcabeebcbabebbdcdbaaeaaaaceaccceeeeaedbbbbcccc
ただどっかで「定理はそれそのもので成り立つが、定義は定理とか使わないと説明できない」って聞いた覚えもあるが実際は忘れた