adjusting figure placement
updated proof