Added a proof sketch in the introduction