proof fix

* fixed case 3 in statement 1