Proofs of Existence and Optimality · Proofs of Nonexistence
Lesson 7
Problem. Is this a correct proof?
There cannot be more than eight queens because in each of the eight columns there cannot be more than one queen.
Question
Yes, it is correct.
No, it is incorrect.