Je souhaite réduire la taille de mon fichier "Exemple de mixage" de moitié. Quel conseil me donneriez-vous ?
Consider the following theorem:
The sum of two even integers is also an even integer.
What, if anything, is wrong with the following attempt at proving this theorem?Proof.What is an axiom?