updated proof '