数理科学IIA（第13回）

今回は「部分終結式の基本定理」の証明に向けた最初の補題である「補題1」の証明の後半部分を行った後、次の「補題2」の証明のほとんどの部分を行いました。

次回は「補題2」の証明の残りの部分を行った後、「部分終結式の基本定理」の証明を行いたいと思います。