completed proof