Trong một kì thi, 60 thí sinh phải giải 3 bài toán. Khi kết thúc kì thi, người ta nhận thấy rằng

Không mất tính tổng quát, giả sử mọi thí sinh đều không giải được bài toán A.

- Nếu mọi thí sinh đều không giải được bài toán B thì từ giả thiết ta có mọi thí sinh đều giải được bài toán C.

- Nếu mọi thí sinh đều giải được bài toán B và bài toán C thì ta có mọi thí sinh đều giải được bài toán B, bài toán C.

- Nếu có một thí sinh chỉ giải được một bài toán, giả sử giải được bài toán B. Xét học sinh này với tất cả các học sinh còn lại. Theo giả thiết, có mọi thí sinh đều giải được bài toán B.

Vậy nếu có một bài toán mà mọi thí sinh đều không giải được thì phải có một bài toán khác mà mọi thí sinh đều giải được.