completed proof section
completed proof section