Theorem: All cats have nine tails.
Proof: No cats have 8 tails. A cat has one more tail than no cat. Therefore, a cat has 8 + 1 = 9 tails. Q.E.D.