数学の公式が導出できないから覚える

twitter でみかけたわけですけど、でも、

　　大学入試で見るのは、公式が導出できるかどうか

だったりするんだよなぁ。導出できないのは、

　　9割は定義をちゃんと読んでない

だと思う。あとの1割は「長すぎる」なんじゃないかと。

でも、実は

　　自然数の掛け算の可換則の証明は割と面倒

なので、Agda でも導出できない人は多いです。