>>30
有限かどうか以前に、そのひとつひとつの「証明」の定義を求めてるんだろ。