Skip to content

Latest commit

 

History

History
 
 

sums_even

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

The double of any number is even

Two proofs of the fact that x+x is even, for any natural number x.