SG函数与SG定理