四大定理:H-O定理，FE定理，SS定理，R定理。