2005-06-25 カリー・ハワード対応 (4) 読書会 productとsumを加えて前と同様の補題を証明する。のんびりやるには適度の復習にもなってよいかもしれない。一般的な議論をしているので旨味がよく分からない箇所が続く。