Proof -- a similar proof with cleared surround.