Théorème: Un chat a 3 queues.
Application:
Aucun chat n'a 2 queues.
Un chat a une queue de plus qu'aucun chat.
Conclusion: Un chat a 3 queues.