SomeBasicProofs

From Nathan Smith  

comments