SG定理