adding kumar
added comments
proof imporved