소거법이 해집합을 보존함을 증명하라