Cat Theorem

Cat Theorem: A cat has nine tails.

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