Supplied the proof for one exercise