You might very well think that; I couldn't possibly comment

[abooth]

Had to try very hard today to avoid injecting today's calculus lecture with a bit of politics. We were doing calculations by cases (first suppose x isn't 0 to allow you to divide by it and get one set of solutions, then suppose x is 0 to get the rest, etc.) and one of the students asked "What if the assumption that x isn't 0 turns out to be false

Comments

Just thought of a better real-life proof by exhaustion.

[holomorphic]

Well, only if chess is real life. You can prove that one player has a checkmate available only if you can refute all of the other player's countermoves.