Consensus Theorem

어떤 식이 위와 같은 형태를 띄고 있을 때, redundant term (필요없는 항) YZ를 소거할 수 있다. 이러한 항을 consensus term 이라고 한다. 증명은 아래와 같다. 이전의simplification skill 관련 포스트의 맨 마지막 부분에 multiplying out과 factoring에 활용할 수 있는 유용한 방법에 대해서 설명하고 있다.