[proof.bmp]