diss: minor corrections proof 3.1.1