Updated proof with gram fixes

This reverts commit 71f795fd457aafeb2ba4050ec5101c5a8a7aa649.