Added some optimality proof..