久野です。

saitoh@kankyo-u.ac.jp.nospamさん:
> これでは「証明」にはなりませんねぇ。。

      プログラミング屋さんはそれでいいんです :-)       久野

P.S. しらみ潰しにするコードよりはなんぼもまし。