howtowriteproofsingeometry