陳省身は高斯の美麗定理の高次元化を確立し
高次元の指数定理に至る道を開いた。