Talk:Proof by minimal counterexample