Added a proof