まあ、プログラム書くのに証明はいらんからねぇ。
厳密な証明はCマガみたいなプログラミング雑誌に書くべきものでもないと思うんだけど。
大学初等レベルの教科書見ればちゃんと書いてあるわけだし。
図書館行きゃいくらでも調べれるし、2chで聞きたかったら数学板に行くのが一番いい。