finished braun invariant proof for copy