四个大定理