[proof+2.bmp]