九九だって足し算をプログム化したみたいなもの、というのが俺の認識。
定理もプログラムも使えればいいだけ。