[proof-final.png]