Esse teorema poderá promover um bom debate sobre a lógica matemática com seus alunos, já que sua demonstração é trivial!
TEOREMA: Um gato tem nove rabos.
DEMONSTRAÇÃO: Demonstra-se esse teorema por absurdo. Nenhum gato tem 8 rabos, como um gato tem um rabo a mais do que nenhum gato, então, segue de forma trivial que um gato tem 9 rabos.