Since the conclusion is negative, that is, "there does not exist", an indirect proof is indicated. Suppose the conclusion where false. That is, suppose there exist A such that . Then . Now, what does that say about ?
Since the conclusion is negative, that is, "there does not exist", an indirect proof is indicated. Suppose the conclusion where false. That is, suppose there exist A such that . Then . Now, what does that say about ?