消除与合成