Edit proof

Remove unused variable