What proof technique did we just use?
Previous slide
Next slide
Back to first slide
View graphic version