added proof corrections