Theorem: A cat has nine tails. Proof: No cat has eight tails. A cat has one tail more than no cat. \tTherefore, a cat has nine tails.