今回は結構悩みました。p.38 辺りです。まずは系3.11のメモから。 『次の系は上の定理からただちに導かれる』とあるのですが、そこが第一の悩みポイントでした。分かってしまうとなーんだということになるのですが、系3.11の条件の下で、(は複数のxの略記と…