Geometry and proof