[tptacek]

Right, that's what was so funny about it. Finding a counterexample: an incredible mathematical achievement. Verifying a counterexample: barely even a weeknight homework problem in an undergraduate multivariable course.