proof fix

* fixed case 1 in statement 1