Eso es lo que la lógica llama una tautología.