溝畑の下巻は、素直に多様体と複素解析に進んだほうがいい
ただし陰関数定理は逐次近似法で短く証明していてよい

高木も小平も溝畑も、読者のためではなく、自分のために書いている