Modified the last proof with some detail.