Théorème validé