代数综合(下)