 It can also be used to construct a counterexample to disprove a proposition that all elements have a certain property.In proof by exhaustion, the conclusion is established by dividing it into a finite number of cases and proving each one separately.The number of cases sometimes can become very large.