proof with images