哈特曼定理