何の定理でもいいんで
その定理が真であることを求めるプログラムをCでも何でもいいんで
書いてもらえませんか？
ピタゴラスの定理でもいいですよ。