Feline Theorem

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